Nuprl Definition : ma-interface-conds
11,40
postcript
pdf
ma-interface-conds(
I
;
i
)
== <ma-interface-dom(
I
;
i
),
k
.<ma-interface-valtype(
I
;
i
;
k
), ma-interface-code(
I
;
i
;
k
)>>
latex
Definitions
ma-interface-dom(
I
;
i
)
,
x
.
A
(
x
)
,
<
a
,
b
>
,
ma-interface-valtype(
I
;
i
;
k
)
,
ma-interface-code(
I
;
i
;
k
)
FDL editor aliases
ma-interface-conds
origin
k.<ma-interface-valtype(I;i;k), ma-interface-code(I;i;k)>> k.<ma-interface-valtype(I;i;k), ma-interface-code(I;i;k)>> x.A(x)